Primitive direcursion and difunctorial semantics of typed object calculus
- Författare
- Institutionen för numerisk analys och datalogi (Stockholm) Kungliga Tekniska högskolan Johan Glimming
- (Johan Glimming., Härtill 3 uppsatser, Diss. (sammanfattning) Stockholm : Stockholms universitet, 2008)
- Genre
- theses, Avhandlingar
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Numerisk analys och datalogi (KTH CSC), Stockholms universitet | 2007 | Sverige, Stockholm | 63 sidor. | 978-91-7155-550-2 |